(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     28829,        967]
NotebookOptionsPosition[     24749,        849]
NotebookOutlinePosition[     27250,        910]
CellTagsIndexPosition[     27165,        905]
WindowTitle->FCFADiracChainJoin
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"DiracChain\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracChain"], "\<\"DCHN\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DCHN"], "\<\"DiracIndex\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracIndex"], "\<\"DiracIndexDelta\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracIndexDelta"], "\<\"DIDelta\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DIDelta"], "\<\"DiracChainCombine\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracChainCombine"], "\<\"DiracChainExpand\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracChainExpand"], "\<\"DiracChainFactor\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracChainFactor"], "\<\"DiracChainJoin\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracChainJoin"], "\<\"FCCCT\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/FCCCT"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/FCFADiracChainJoin\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/FCFADiracChainJoin"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
FCFADiracChainJoin.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$99840], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/FCFADiracChainJoin", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["FCFADiracChainJoin", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"FCFADiracChainJoin", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]processes the output of FeynArts (after FCFAConvert) \
with explicit Dirac indices and joins matrices and spinors into closed \
chains. This is necessary e.g. for models with 4-fermion operators, where \
FeynArts cannot determine the correct relative signs. When two matrices have \
a common index but the positions do not match, as in ",
     Cell[BoxData[
      RowBox[{
       SubscriptBox["A", "ij"], 
       SubscriptBox["B", "ik"]}]], "InlineFormula"],
     ", it is assumed that we can take the charge conjugate transposed of \
either matrix to obtain, e.g. ",
     Cell[BoxData[
      RowBox[{
       SubscriptBox[
        RowBox[{"(", 
         RowBox[{"C", " ", 
          SuperscriptBox["A", "T"], 
          SuperscriptBox["C", 
           RowBox[{"-", "1"}]]}], ")"}], "ji"], 
       SubscriptBox["B", "ik"]}]], "InlineFormula"],
     " or ",
     Cell[BoxData[
      RowBox[{
       SubscriptBox[
        RowBox[{"(", 
         RowBox[{"C", " ", 
          SuperscriptBox["B", "T"], 
          SuperscriptBox["C", 
           RowBox[{"-", "1"}]]}], ")"}], "ki"], 
       SubscriptBox["A", "ij"]}]], "InlineFormula"],
     "."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->2109144655],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "FCFADiracChainJoin", "]"}]], "Input",
 CellLabel->"In[9]:=",
 CellID->627296657],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"First", "\[Rule]", 
     RowBox[{"{", "}"}]}], ",", 
    RowBox[{"Head", "\[Rule]", "Identity"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{318, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[9]=",
 CellID->534360570]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1348316473],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->2034067903],

Cell["Create a closed chain for the 1-loop electron self-energy", \
"ExampleText",
 CellID->2049760779],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   RowBox[{"(", 
    RowBox[{"1", "/", 
     RowBox[{"(", 
      RowBox[{"16", " ", 
       RowBox[{"\[Pi]", "^", "4"}]}], ")"}]}], ")"}]}], " ", "I", " ", 
  RowBox[{"el", "^", "2"}], " ", 
  RowBox[{"DCHN", "[", 
   RowBox[{
    RowBox[{"Spinor", "[", 
     RowBox[{
      RowBox[{"-", 
       RowBox[{"Momentum", "[", 
        RowBox[{"p", ",", "D"}], "]"}]}], ",", "me", ",", "1"}], "]"}], ",", 
    "Dir1"}], "]"}], " ", 
  RowBox[{"DCHN", "[", 
   RowBox[{
    RowBox[{"Spinor", "[", 
     RowBox[{
      RowBox[{"Momentum", "[", 
       RowBox[{"q", ",", "D"}], "]"}], ",", "me", ",", "1"}], "]"}], ",", 
    "Dir2"}], "]"}], " ", 
  RowBox[{"DCHN", "[", 
   RowBox[{
    RowBox[{"GAD", "[", "Lor1", "]"}], ",", "Dir1", ",", "Dir3"}], "]"}], " ", 
  RowBox[{"DCHN", "[", 
   RowBox[{
    RowBox[{"GAD", "[", "Lor2", "]"}], ",", "Dir2", ",", "Dir4"}], "]"}], " ", 
  RowBox[{"DCHN", "[", 
   RowBox[{
    RowBox[{"me", "-", 
     RowBox[{"GSD", "[", "k", "]"}]}], ",", "Dir3", ",", "Dir4"}], "]"}], " ", 
  RowBox[{"FAD", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"k", ",", "me"}], "}"}], ",", 
    RowBox[{"k", "-", "q"}]}], "]"}], " ", 
  RowBox[{"MTD", "[", 
   RowBox[{"Lor1", ",", "Lor2"}], "]"}]}]], "Input",
 CellLabel->"In[1]:=",
 CellID->846878145],

Cell[BoxData[
 FormBox[
  RowBox[{"-", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{"\[ImaginaryI]", " ", 
       SuperscriptBox["el", "2"], " ", 
       FormBox[
        SuperscriptBox["g", 
         RowBox[{
          FormBox[
           FormBox["Lor1",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["Lor2",
            TraditionalForm],
           TraditionalForm]}]],
        TraditionalForm], " ", 
       FormBox[
        SubscriptBox[
         RowBox[{"(", 
          FormBox[
           FormBox[
            SuperscriptBox["\[Gamma]", 
             FormBox[
              FormBox["Lor1",
               TraditionalForm],
              TraditionalForm]],
            TraditionalForm],
           TraditionalForm], ")"}], 
         RowBox[{
          FormBox[
           FormBox["Dir1",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["Dir3",
            TraditionalForm],
           TraditionalForm]}]],
        TraditionalForm], " ", 
       FormBox[
        SubscriptBox[
         RowBox[{"(", 
          FormBox[
           FormBox[
            SuperscriptBox["\[Gamma]", 
             FormBox[
              FormBox["Lor2",
               TraditionalForm],
              TraditionalForm]],
            TraditionalForm],
           TraditionalForm], ")"}], 
         RowBox[{
          FormBox[
           FormBox["Dir2",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["Dir4",
            TraditionalForm],
           TraditionalForm]}]],
        TraditionalForm], " ", 
       FormBox[
        SubscriptBox[
         RowBox[{"(", 
          FormBox[
           RowBox[{"me", "-", 
            FormBox[
             RowBox[{"\[Gamma]", "\[CenterDot]", 
              FormBox[
               FormBox["k",
                TraditionalForm],
               TraditionalForm]}],
             TraditionalForm]}],
           TraditionalForm], ")"}], 
         RowBox[{
          FormBox[
           FormBox["Dir3",
            TraditionalForm],
           TraditionalForm], 
          FormBox[
           FormBox["Dir4",
            TraditionalForm],
           TraditionalForm]}]],
        TraditionalForm], " ", 
       FormBox[
        SubscriptBox[
         RowBox[{"(", 
          FormBox[
           RowBox[{
            FormBox["\<\"\[CurlyPhi]\"\>",
             TraditionalForm], 
            FormBox["\<\"(\"\>",
             TraditionalForm], 
            FormBox[
             RowBox[{"-", 
              FormBox["p",
               TraditionalForm]}],
             TraditionalForm], 
            FormBox["\<\",\"\>",
             TraditionalForm], 
            FormBox["me",
             TraditionalForm], 
            FormBox["\<\")\"\>",
             TraditionalForm]}],
           TraditionalForm], ")"}], 
         FormBox[
          FormBox["Dir1",
           TraditionalForm],
          TraditionalForm]],
        TraditionalForm], " ", 
       FormBox[
        SubscriptBox[
         RowBox[{"(", 
          FormBox[
           RowBox[{
            FormBox["\<\"\[CurlyPhi]\"\>",
             TraditionalForm], 
            FormBox["\<\"(\"\>",
             TraditionalForm], 
            FormBox[
             FormBox["q",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\",\"\>",
             TraditionalForm], 
            FormBox["me",
             TraditionalForm], 
            FormBox["\<\")\"\>",
             TraditionalForm]}],
           TraditionalForm], ")"}], 
         FormBox[
          FormBox["Dir2",
           TraditionalForm],
          TraditionalForm]],
        TraditionalForm]}], ")"}], "/", 
     RowBox[{"(", 
      RowBox[{"16", " ", 
       SuperscriptBox["\[Pi]", "4"], " ", 
       RowBox[{
        RowBox[{"(", 
         InterpretationBox[
          RowBox[{
           SuperscriptBox[
            FormBox[
             FormBox["k",
              TraditionalForm],
             TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
           "\[InvisibleSpace]", 
           SuperscriptBox["me", "2"]}],
          SequenceForm[
           FeynCalc`Pair[
            FeynCalc`Momentum[$CellContext`k, D], 
            FeynCalc`Momentum[$CellContext`k, D]], "-", $CellContext`me^2],
          Editable->False], ")"}], ".", 
        InterpretationBox[
         SuperscriptBox[
          RowBox[{
           FormBox["\<\"(\"\>",
            TraditionalForm], 
           FormBox[
            FormBox[
             RowBox[{
              FormBox["k",
               TraditionalForm], "-", 
              FormBox["q",
               TraditionalForm]}],
             TraditionalForm],
            TraditionalForm], 
           FormBox["\<\")\"\>",
            TraditionalForm]}], "2"],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`k - $CellContext`q, D], 
           FeynCalc`Momentum[$CellContext`k - $CellContext`q, D]]],
         Editable->False]}]}], ")"}]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{494, 47},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]=",
 CellID->390335649]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"res", "=", 
  RowBox[{"FCFADiracChainJoin", "[", "%", "]"}]}]], "Input",
 CellLabel->"In[2]:=",
 CellID->851451022],

Cell[BoxData[
 FormBox[
  RowBox[{"-", 
   FractionBox[
    RowBox[{"\[ImaginaryI]", " ", 
     SuperscriptBox["el", "2"], " ", 
     SuperscriptBox["g", 
      RowBox[{
       FormBox[
        FormBox["Lor1",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["Lor2",
         TraditionalForm],
        TraditionalForm]}]], " ", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         FormBox["q",
          TraditionalForm],
         TraditionalForm], 
        FormBox["\<\",\"\>",
         TraditionalForm], 
        FormBox["me",
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["Lor2",
         TraditionalForm],
        TraditionalForm]], ".", 
      RowBox[{"(", 
       RowBox[{"-", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{"\[Gamma]", "\[CenterDot]", 
            FormBox[
             FormBox["k",
              TraditionalForm],
             TraditionalForm]}], "+", "me"}], ")"}], ".", 
         SuperscriptBox["\[Gamma]", 
          FormBox[
           FormBox["Lor1",
            TraditionalForm],
           TraditionalForm]]}]}], ")"}], ".", 
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         FormBox["p",
          TraditionalForm],
         TraditionalForm], 
        FormBox["\<\",\"\>",
         TraditionalForm], 
        FormBox["me",
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}]}]}], 
    RowBox[{"16", " ", 
     SuperscriptBox["\[Pi]", "4"], " ", 
     RowBox[{
      RowBox[{"(", 
       InterpretationBox[
        RowBox[{
         SuperscriptBox[
          FormBox[
           FormBox["k",
            TraditionalForm],
           TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
         "\[InvisibleSpace]", 
         SuperscriptBox["me", "2"]}],
        SequenceForm[
         FeynCalc`Pair[
          FeynCalc`Momentum[$CellContext`k, D], 
          FeynCalc`Momentum[$CellContext`k, D]], "-", $CellContext`me^2],
        Editable->False], ")"}], ".", 
      InterpretationBox[
       SuperscriptBox[
        RowBox[{
         FormBox["\<\"(\"\>",
          TraditionalForm], 
         FormBox[
          FormBox[
           RowBox[{
            FormBox["k",
             TraditionalForm], "-", 
            FormBox["q",
             TraditionalForm]}],
           TraditionalForm],
          TraditionalForm], 
         FormBox["\<\")\"\>",
          TraditionalForm]}], "2"],
       SequenceForm[
        FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`k, D] - 
         FeynCalc`Momentum[$CellContext`q, D], 
         FeynCalc`Momentum[$CellContext`k, D] - 
         FeynCalc`Momentum[$CellContext`q, D]]],
       Editable->False]}]}]]}], TraditionalForm]], "Output",
 ImageSize->{463, 48},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->1005085356]
}, Open  ]],

Cell["\<\
Sometimes the ordering of the spinors is not the one wants to have. However, \
we can always transpose the chains to reorder the spinors as we like, which \
doesn't change the final result\
\>", "ExampleText",
 CellID->1333043386],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SpinorChainTranspose", "[", 
  RowBox[{"res", ",", 
   RowBox[{"Select", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"Spinor", "[", "__", "]"}], ",", 
       RowBox[{"Spinor", "[", "__", "]"}]}], "}"}], "}"}]}]}], "]"}]], "Input",\

 CellLabel->"In[3]:=",
 CellID->163807183],

Cell[BoxData[
 FormBox[
  RowBox[{"-", 
   FractionBox[
    RowBox[{"\[ImaginaryI]", " ", 
     SuperscriptBox["el", "2"], " ", 
     SuperscriptBox["g", 
      RowBox[{
       FormBox[
        FormBox["Lor1",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["Lor2",
         TraditionalForm],
        TraditionalForm]}]], " ", 
     RowBox[{
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{"-", 
          FormBox["p",
           TraditionalForm]}],
         TraditionalForm], 
        FormBox["\<\",\"\>",
         TraditionalForm], 
        FormBox["me",
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["Lor1",
         TraditionalForm],
        TraditionalForm]], ".", 
      RowBox[{"(", 
       RowBox[{"me", "-", 
        RowBox[{"\[Gamma]", "\[CenterDot]", 
         FormBox[
          FormBox["k",
           TraditionalForm],
          TraditionalForm]}]}], ")"}], ".", 
      SuperscriptBox["\[Gamma]", 
       FormBox[
        FormBox["Lor2",
         TraditionalForm],
        TraditionalForm]], ".", 
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CurlyPhi]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{"-", 
          FormBox["q",
           TraditionalForm]}],
         TraditionalForm], 
        FormBox["\<\",\"\>",
         TraditionalForm], 
        FormBox["me",
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}]}]}], 
    RowBox[{"16", " ", 
     SuperscriptBox["\[Pi]", "4"], " ", 
     RowBox[{
      RowBox[{"(", 
       InterpretationBox[
        RowBox[{
         SuperscriptBox[
          FormBox[
           FormBox["k",
            TraditionalForm],
           TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
         "\[InvisibleSpace]", 
         SuperscriptBox["me", "2"]}],
        SequenceForm[
         FeynCalc`Pair[
          FeynCalc`Momentum[$CellContext`k, D], 
          FeynCalc`Momentum[$CellContext`k, D]], "-", $CellContext`me^2],
        Editable->False], ")"}], ".", 
      InterpretationBox[
       SuperscriptBox[
        RowBox[{
         FormBox["\<\"(\"\>",
          TraditionalForm], 
         FormBox[
          FormBox[
           RowBox[{
            FormBox["k",
             TraditionalForm], "-", 
            FormBox["q",
             TraditionalForm]}],
           TraditionalForm],
          TraditionalForm], 
         FormBox["\<\")\"\>",
          TraditionalForm]}], "2"],
       SequenceForm[
        FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`k, D] - 
         FeynCalc`Momentum[$CellContext`q, D], 
         FeynCalc`Momentum[$CellContext`k, D] - 
         FeynCalc`Momentum[$CellContext`q, D]]],
       Editable->False]}]}]]}], TraditionalForm]], "Output",
 ImageSize->{462, 47},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]=",
 CellID->412221356]
}, Open  ]],

Cell["\<\
Using patterns in the Select option one can create very fine-grained criteria \
for transposing the chains.\
\>", "ExampleText",
 CellID->1813732719]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["DiracChain",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracChain",
  ButtonNote->"DiracChain"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DCHN",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DCHN",
  ButtonNote->"DiracChain"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracIndex",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracIndex",
  ButtonNote->"DiracIndex"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracIndexDelta",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracIndexDelta",
  ButtonNote->"DiracIndexDelta"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DIDelta",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DIDelta",
  ButtonNote->"DIDelta"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracChainCombine",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracChainCombine",
  ButtonNote->"DiracChainCombine"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracChainExpand",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracChainExpand",
  ButtonNote->"DiracChainExpand"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracChainFactor",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracChainFactor",
  ButtonNote->"DiracChainFactor"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracChainJoin",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracChainJoin",
  ButtonNote->"DiracChainJoin"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["FCCCT",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FCCCT",
  ButtonNote->"FCCCT"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso",
 CellID->655647701]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"FCFADiracChainJoin",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 5, 19.570278}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "FCFADiracChainJoin[exp] processes the output of FeynArts (after \
FCFAConvert) with explicit Dirac indices and joins matrices and spinors into \
closed chains. This is necessary e.g. for models with 4-fermion operators, \
where FeynArts cannot determine the correct relative signs. When two matrices \
have a common index but the positions do not match, as in Aij Bik, it is \
assumed that we can take the charge conjugate transposed of either matrix to \
obtain, e.g. (C A^T C -1) ji Bik or (C B^T C -1) ki Aij.", "synonyms" -> {}, 
    "tabletags" -> {}, "title" -> "FCFADiracChainJoin", "titlemodifier" -> "",
     "windowtitle" -> "FCFADiracChainJoin", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/FCFADiracChainJoin"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[7859, 231, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1348316473]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 27021, 898}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[590, 21, 3948, 91, 53, "AnchorBarGrid",
 CellID->1],
Cell[4541, 114, 295, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4861, 129, 1484, 41, 162, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[6370, 174, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->2109144655],
Cell[7112, 200, 31, 0, 70, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[7168, 204, 120, 3, 70, "Input",
 CellID->627296657],
Cell[7291, 209, 507, 15, 56, "Output",
 CellID->534360570]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[7859, 231, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1348316473],
Cell[CellGroupData[{
Cell[8272, 250, 196, 6, 26, "ExampleSection",
 CellID->2034067903],
Cell[8471, 258, 103, 2, 36, "ExampleText",
 CellID->2049760779],
Cell[CellGroupData[{
Cell[8599, 264, 1310, 42, 79, "Input",
 CellID->846878145],
Cell[9912, 308, 5241, 182, 68, "Output",
 CellID->390335649]
}, Open  ]],
Cell[CellGroupData[{
Cell[15190, 495, 139, 4, 27, "Input",
 CellID->851451022],
Cell[15332, 501, 3267, 114, 69, "Output",
 CellID->1005085356]
}, Open  ]],
Cell[18614, 618, 240, 5, 69, "ExampleText",
 CellID->1333043386],
Cell[CellGroupData[{
Cell[18879, 627, 334, 11, 29, "Input",
 CellID->163807183],
Cell[19216, 640, 3215, 113, 68, "Output",
 CellID->412221356]
}, Open  ]],
Cell[22446, 756, 159, 4, 53, "ExampleText",
 CellID->1813732719]
}, Open  ]],
Cell[22620, 763, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[22688, 768, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[22961, 782, 1746, 62, 71, "SeeAlso",
 CellID->655647701]
}, Open  ]],
Cell[24722, 847, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

